- définissabilité
-
● définissabilité nom féminin Propriété d'une constante ou d'un terme dont il existe une définition dans une théorie.
Encyclopédie Universelle. 2012.
définissabilité
Regardez d'autres dictionnaires:
Evert Willem Beth — Pour les articles homonymes, voir Beth. Evert Willem Beth (7 juillet 1908 12 avril 1964) est un philosophe et logicien néerlandais dont les travaux concernent essentiellement les fondements des mathématiques. Sommaire 1 Biographie … Wikipédia en Français
MODÈLES (THÉORIE DES) — «Modèle» est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples [cf. MODÈLE]. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble… … Encyclopédie Universelle
Forcing — En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en… … Wikipédia en Français
Paul Finsler — est un mathématicien suisse né en 1894 et mort en 1970. Le nom de Paul Finsler est connu pour les espaces de Finsler qui sont des variétés métriques plus générales que les variétés riemanniennes. C est avec l article Les espaces de Finsler de… … Wikipédia en Français
Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… … Wikipédia en Français
TARSKI (A.) — Né à Varsovie, Alfred Tarski, qui fut, avant la Seconde Guerre mondiale, un des maîtres de l’école polonaise de logique, devait s’imposer comme un des plus grands logiciens contemporains, par ses travaux sur la métamathématique et sur la… … Encyclopédie Universelle
Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Recurrence transfinie — Récurrence transfinie La récurrence transfinie, appelée aussi sous l influence anglaise induction transfinie, permet de construire des objets et de démontrer des théorèmes sur des ensembles infinis. Elle généralise la récurrence ordinaire sur N… … Wikipédia en Français
